Minimal Collapsing Extensions of Models of ZFC

نویسندگان

  • Lev Bukovský
  • Eva Copláková-Hartová
چکیده

We present some results concerning extensions of models of ZFC in which cofinalities of cardinals are changed and/or cardinals are collapsed, in particular on minimal such extensions. Our main tools are perfect tree forcing PF(S) and Namba forcing Nm(S). We prove that if N 2 M is an extension such that (i) M k K = I+ > H,, (ii) 1 fl N E M and (iii) N = Mlf] for some cofinal f : oo+ K, then N 2 M is cf(K) = o,-minimal. On the other hand Namba forcing Nm(S) where S is a normal ultrafilter on a measurable cardinal K produces an extension satisfying (iii) and (ii) for every 1< K, which is not cf(rc) = w,-minimal. We show that if S is an K,-complete splitting criterion on K then Pf(S) collapses K+ to X, (assuming GCH). Moreover, we prove, under some reasonable assumptions, that every extension changing the cofinality of a successor cardinal K must collapse K+. Using these results and results on trees from Sections 2, 3 we construct, assuming e.g. GCH, for every regular uncountable K a IKJ = &-minimal extension, a cf(K) = o,-minimal extension and a IK+[ = X,-minimal extension.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Spectrum of Elementary

In 1970, K. Kunen, working in the context of Kelley-Morse set theory, showed that the existence of a nontrivial elementary embedding j : V → V is inconsistent. In this paper, we give a finer analysis of the implications of his result for embeddings V → V relative to models of ZFC. We do this by working in the extended language {∈, j}, using as axioms all the usual axioms of ZFC (for ∈-formulas)...

متن کامل

Generic Families and Models of Set Theory with the Axiom of Choice

Let M be a countable transitive model of ZFC and i be a countable M -generic family of Cohen reals. We prove that there is no smallest transitive model A' of ZFC that either M u A ç N or A/U {A} ç N . h is also proved that there is no smallest transitive model N of ZFC~ (ZFC theory without the power set axiom) such that M U {A} ç N . It is also proved that certain classes of extensions of M obt...

متن کامل

The smallest common extension of a sequence of models of ZFC

In this note, we show that the model obtained by finite support iteration of a sequence of generic extensions of models of ZFC of length ω is sometimes the smallest common extension of this sequence and very often it is not.

متن کامل

Models of set theory with definable ordinals

A DO model (here also referred to a Paris model) is a model M of set theory all of whose ordinals are first order definable in M. Jeffrey Paris (1973) initiated the study of DO models and showed that (1) every consistent extension T of ZF has a DO model, and (2) for complete extensions T, T has a unique DO model up to isomorphism iff T proves V = OD. Here we provide a comprehensive treatment of...

متن کامل

Foundations of Mathematics in Polymorphic Type Theory

This essay was inspired by conversations with mathematicians who maintain in all seriousness that there is something canonical about foundations of mathematics in ZFC (Zermelo-Fraenkel set theory with the axiom of choice). (These took place on the FOM (Foundations of Mathematics) mailing list [7].) One of the parties to this conversation ventured to define mathematics in terms of ZFC . The best...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Ann. Pure Appl. Logic

دوره 46  شماره 

صفحات  -

تاریخ انتشار 1990